[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.016 34.546 0.666 0.000 0.000 0.000 0.000 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.015 0.238 0.213 0.000 0.000 0.000 0.000 0.000

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.009 0.211 0.003 0.000 0.000 0.000 0.000 0.000

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.019 1.464 0.210 0.000 0.000 0.000 0.000 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.017 5.330 0.268 0.000 0.000 0.000 0.000 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.015 0.425 0.014 0.000 0.000 0.000 0.000 0.000

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.009 0.356 0.006 0.000 0.000 0.000 0.000 0.000

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.019 5.256 0.004 0.000 0.000 0.000 0.000 0.000

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.017 7.584 0.013 0.000 0.000 0.000 0.000 0.000

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 170 413 132 147 0 413 127

N.S.

1 1.00 1.20 2.91 0.93 1.04 0.00 2.91 0.89

time (sec)

N/A 0.155 0.034 0.489 0.274 0.357 0.000 3.967 0.324

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 140 387 111 120 156 281 103

N.S.

1 1.00 1.18 3.25 0.93 1.01 1.31 2.36 0.87

time (sec)

N/A 0.121 0.023 0.249 0.303 0.341 66.921 5.464 0.308

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 98 3275 101 94 126 155 78

N.S.

1 1.00 1.04 34.84 1.07 1.00 1.34 1.65 0.83

time (sec)

N/A 0.060 0.036 0.441 0.270 0.378 17.017 4.256 0.313

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 80 419 95 0 0 0 -1

N.S.

1 1.00 0.98 5.11 1.16 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.078 0.018 0.159 0.588 0.000 0.000 0.000 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 92 421 99 0 0 0 -1

N.S.

1 1.00 0.99 4.53 1.06 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.084 0.024 0.116 0.537 0.000 0.000 0.000 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 105 392 83 106 167 322 85

N.S.

1 1.00 1.13 4.22 0.89 1.14 1.80 3.46 0.91

time (sec)

N/A 0.091 0.031 0.153 0.276 0.388 79.746 3.787 0.369

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 130 428 107 134 0 515 113

N.S.

1 1.00 1.04 3.42 0.86 1.07 0.00 4.12 0.90

time (sec)

N/A 0.109 0.048 0.123 0.320 0.390 0.000 4.838 0.371

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 158 448 132 160 0 674 134

N.S.

1 1.00 1.07 3.03 0.89 1.08 0.00 4.55 0.91

time (sec)

N/A 0.128 0.082 0.192 0.331 0.345 0.000 3.575 0.399

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 118 453 111 283 320 138 126

N.S.

1 1.00 0.77 2.94 0.72 1.84 2.08 0.90 0.82

time (sec)

N/A 0.088 0.044 0.342 0.523 0.389 34.479 5.432 0.318

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 117 416 82 217 260 109 97

N.S.

1 1.00 1.00 3.56 0.70 1.85 2.22 0.93 0.83

time (sec)

N/A 0.057 0.029 0.036 0.533 0.355 8.831 5.909 0.002

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 93 62 427 59 208 204 78 83

N.S.

1 1.29 0.86 5.93 0.82 2.89 2.83 1.08 1.15

time (sec)

N/A 0.053 0.039 0.166 0.554 0.389 16.958 3.126 0.327

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 96 442 66 207 879 92 65

N.S.

1 1.00 0.89 4.09 0.61 1.92 8.14 0.85 0.60

time (sec)

N/A 0.064 0.033 0.183 0.485 0.390 40.835 5.398 0.365

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 101 474 86 276 1108 122 88

N.S.

1 1.00 0.72 3.39 0.61 1.97 7.91 0.87 0.63

time (sec)

N/A 0.079 0.008 0.095 0.488 0.356 164.835 3.908 0.377

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

251 251 205 687 218 252 0 773 224

N.S.

1 1.00 0.82 2.74 0.87 1.00 0.00 3.08 0.89

time (sec)

N/A 0.321 0.121 0.541 0.277 0.361 0.000 6.933 0.364

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 173 643 182 214 0 561 184

N.S.

1 1.00 0.82 3.06 0.87 1.02 0.00 2.67 0.88

time (sec)

N/A 0.245 0.095 0.578 0.278 0.384 0.000 3.864 0.342

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 135 605 151 169 235 354 142

N.S.

1 1.00 1.09 4.88 1.22 1.36 1.90 2.85 1.15

time (sec)

N/A 0.092 0.077 0.591 0.288 0.354 66.762 6.599 0.335

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 121 652 157 0 0 0 -1

N.S.

1 1.00 0.79 4.26 1.03 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.135 0.064 0.529 0.554 0.000 0.000 0.000 0.000

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 126 642 160 0 0 0 -1

N.S.

1 1.00 0.93 4.76 1.19 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.132 0.059 0.408 0.331 0.000 0.000 0.000 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 148 663 172 0 0 0 -1

N.S.

1 1.00 0.86 3.85 1.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.150 0.085 0.450 1.240 0.000 0.000 0.000 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 141 656 142 199 0 791 151

N.S.

1 1.00 1.08 5.05 1.09 1.53 0.00 6.08 1.16

time (sec)

N/A 0.140 0.091 0.454 0.266 0.369 0.000 5.802 0.415

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 184 713 184 243 0 1089 190

N.S.

1 1.00 0.85 3.30 0.85 1.12 0.00 5.04 0.88

time (sec)

N/A 0.197 0.115 0.497 0.284 0.372 0.000 3.471 0.427

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 215 748 220 282 0 1340 225

N.S.

1 1.00 0.85 2.96 0.87 1.11 0.00 5.30 0.89

time (sec)

N/A 0.227 0.162 0.508 0.268 0.367 0.000 5.508 0.458

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

278 278 188 761 182 465 559 246 235

N.S.

1 1.00 0.68 2.74 0.65 1.67 2.01 0.88 0.85

time (sec)

N/A 0.153 0.121 0.681 0.488 0.404 132.532 4.704 0.358

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 151 686 146 373 478 201 193

N.S.

1 1.00 0.68 3.10 0.66 1.69 2.16 0.91 0.87

time (sec)

N/A 0.105 0.090 0.372 0.568 0.408 35.284 5.344 0.002

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 112 702 108 345 400 168 180

N.S.

1 1.00 0.63 3.94 0.61 1.94 2.25 0.94 1.01

time (sec)

N/A 0.100 0.100 0.721 0.505 0.361 65.890 5.248 0.371

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 113 700 101 365 381 154 108

N.S.

1 1.00 0.67 4.14 0.60 2.16 2.25 0.91 0.64

time (sec)

N/A 0.099 0.100 0.446 0.569 0.393 80.888 5.448 0.392

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 156 736 114 373 1567 181 115

N.S.

1 1.00 0.78 3.68 0.57 1.86 7.84 0.90 0.58

time (sec)

N/A 0.113 0.047 0.443 0.536 0.356 169.597 4.790 0.393

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 161 784 148 456 0 222 149

N.S.

1 1.00 0.64 3.11 0.59 1.81 0.00 0.88 0.59

time (sec)

N/A 0.137 0.023 0.426 0.561 0.369 0.000 6.526 0.426

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 143 902 181 0 0 0 -1

N.S.

1 1.00 0.76 4.80 0.96 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.190 0.090 0.797 0.578 0.000 0.000 0.000 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 91 672 128 0 0 0 -1

N.S.

1 1.00 0.81 6.00 1.14 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.126 0.032 0.423 0.560 0.000 0.000 0.000 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 64 472 146 0 0 0 -1

N.S.

1 1.00 0.91 6.74 2.09 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.065 0.006 0.367 0.317 0.000 0.000 0.000 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 92 732 148 0 0 0 -1

N.S.

1 1.00 0.77 6.15 1.24 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.140 0.031 0.495 0.555 0.000 0.000 0.000 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 147 942 187 0 0 0 -1

N.S.

1 1.00 0.84 5.35 1.06 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.174 0.051 0.448 0.580 0.000 0.000 0.000 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

667 667 691 1011 0 0 0 0 -1

N.S.

1 1.00 1.04 1.52 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.494 0.392 0.547 0.000 0.000 0.000 0.000 0.000

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

585 585 680 746 0 0 0 0 -1

N.S.

1 1.00 1.16 1.28 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.388 0.219 0.497 0.000 0.000 0.000 0.000 0.000

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

533 533 564 504 0 0 0 0 -1

N.S.

1 1.00 1.06 0.95 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.278 0.122 0.331 0.000 0.000 0.000 0.000 0.000

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

581 581 673 755 0 0 0 0 -1

N.S.

1 1.00 1.16 1.30 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.384 0.220 0.492 0.000 0.000 0.000 0.000 0.000

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

651 651 754 1005 0 0 0 0 -1

N.S.

1 1.00 1.16 1.54 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.431 0.191 0.464 0.000 0.000 0.000 0.000 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

199 199 166 985 347 0 0 0 -1

N.S.

1 1.00 0.83 4.95 1.74 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.202 0.163 0.393 0.347 0.000 0.000 0.000 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 131 732 193 0 0 0 -1

N.S.

1 1.00 0.85 4.72 1.25 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.156 0.070 0.455 0.543 0.000 0.000 0.000 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 63 371 79 96 0 182 80

N.S.

1 1.00 0.76 4.47 0.95 1.16 0.00 2.19 0.96

time (sec)

N/A 0.051 0.037 0.508 0.277 0.352 0.000 4.437 1.458

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 170 984 208 0 0 0 -1

N.S.

1 1.00 0.85 4.90 1.03 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.189 0.075 0.463 0.545 0.000 0.000 0.000 0.000

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

251 251 208 1216 310 0 0 0 -1

N.S.

1 1.00 0.83 4.84 1.24 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.228 0.118 0.453 0.636 0.000 0.000 0.000 0.000

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

802 802 1349 0 0 0 0 0 -1

N.S.

1 1.00 1.68 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.191 2.932 0.235 0.000 0.000 0.000 0.000 0.000

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

746 746 1231 0 0 0 0 0 -1

N.S.

1 1.00 1.65 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.031 2.396 0.227 0.000 0.000 0.000 0.000 0.000

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

751 751 1236 0 0 0 0 0 -1

N.S.

1 1.00 1.65 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.587 2.325 0.009 0.000 0.000 0.000 0.000 0.000

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

803 803 1438 0 0 0 0 0 -1

N.S.

1 1.00 1.79 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.104 3.207 0.249 0.000 0.000 0.000 0.000 0.000

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 128 0 0 0 0 0 -1

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.096 0.032 0.267 0.000 0.000 0.000 0.000 0.000

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 248 194 208 0 0 0 -1

N.S.

1 1.00 1.04 0.81 0.87 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.191 0.104 0.525 0.514 0.000 0.000 0.000 0.000

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 468 289 0 0 0 0 -1

N.S.

1 1.00 2.16 1.33 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.174 0.092 0.462 0.000 0.000 0.000 0.000 0.000

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 188 428 0 143 0 0 -1

N.S.

1 1.00 1.31 2.97 0.00 0.99 0.00 0.00 -0.01

time (sec)

N/A 0.113 0.143 2.404 0.000 0.373 0.000 0.000 0.000

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 173 410 0 129 0 0 -1

N.S.

1 1.00 1.40 3.31 0.00 1.04 0.00 0.00 -0.01

time (sec)

N/A 0.095 0.138 0.100 0.000 0.361 0.000 0.000 0.000

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 68 376 0 109 0 0 -1

N.S.

1 1.00 0.82 4.53 0.00 1.31 0.00 0.00 -0.01

time (sec)

N/A 0.073 0.042 0.082 0.000 0.363 0.000 0.000 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 100 423 0 119 0 0 -1

N.S.

1 1.00 1.03 4.36 0.00 1.23 0.00 0.00 -0.01

time (sec)

N/A 0.092 0.212 0.095 0.000 0.365 0.000 0.000 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 148 448 0 154 0 0 -1

N.S.

1 1.00 1.17 3.56 0.00 1.22 0.00 0.00 -0.01

time (sec)

N/A 0.107 0.299 0.087 0.000 0.372 0.000 0.000 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

327 327 341 795 0 273 0 0 -1

N.S.

1 1.00 1.04 2.43 0.00 0.83 0.00 0.00 -0.00

time (sec)

N/A 0.210 0.153 1.341 0.000 0.378 0.000 0.000 0.000

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

254 254 291 734 0 229 0 0 -1

N.S.

1 1.00 1.15 2.89 0.00 0.90 0.00 0.00 -0.00

time (sec)

N/A 0.175 0.152 0.770 0.000 0.379 0.000 0.000 0.000

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 124 665 0 182 0 0 -1

N.S.

1 1.00 0.70 3.78 0.00 1.03 0.00 0.00 -0.01

time (sec)

N/A 0.124 0.144 0.431 0.000 0.382 0.000 0.000 0.000

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

193 193 152 693 0 211 0 0 -1

N.S.

1 1.00 0.79 3.59 0.00 1.09 0.00 0.00 -0.01

time (sec)

N/A 0.160 0.446 0.460 0.000 0.352 0.000 0.000 0.000

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

257 257 204 755 0 265 0 0 -1

N.S.

1 1.00 0.79 2.94 0.00 1.03 0.00 0.00 -0.00

time (sec)

N/A 0.195 0.411 0.459 0.000 0.396 0.000 0.000 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

266 266 0 695 0 0 0 0 -1

N.S.

1 1.00 0.00 2.61 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.299 4.151 0.903 0.000 0.000 0.000 0.000 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 92 532 169 0 0 0 -1

N.S.

1 1.00 0.76 4.40 1.40 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.135 0.058 0.780 0.790 0.000 0.000 0.000 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 64 298 123 0 0 0 -1

N.S.

1 1.00 0.91 4.26 1.76 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.113 0.019 0.925 0.646 0.000 0.000 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

221 221 0 461 0 0 0 0 -1

N.S.

1 1.00 0.00 2.09 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.308 1.321 0.847 0.000 0.000 0.000 0.000 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

419 419 0 1036 0 0 0 0 -1

N.S.

1 1.00 0.00 2.47 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.396 5.915 0.751 0.000 0.000 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 171 805 251 0 0 0 -1

N.S.

1 1.00 0.84 3.95 1.23 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.184 0.119 0.836 0.350 0.000 0.000 0.000 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C A F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

156 156 433 589 222 0 0 0 -1

N.S.

1 1.00 2.78 3.78 1.42 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.188 1.130 1.090 0.411 0.000 0.000 0.000 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F F F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

377 377 0 810 0 0 0 0 -1

N.S.

1 1.00 0.00 2.15 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.452 0.874 0.937 0.000 0.000 0.000 0.000 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 23 114 25 0 0 -1

N.S.

1 1.00 1.00 0.92 4.56 1.00 0.00 0.00 -0.04

time (sec)

N/A 0.104 0.060 1.178 0.371 0.378 0.000 0.000 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 25 23 118 25 0 0 21

N.S.

1 1.00 1.00 0.92 4.72 1.00 0.00 0.00 0.84

time (sec)

N/A 0.065 0.024 0.506 0.292 0.388 0.000 0.000 0.647

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 34 24 0 30 0 0 -1

N.S.

1 1.00 1.31 0.92 0.00 1.15 0.00 0.00 -0.04

time (sec)

N/A 0.102 0.054 2.566 0.000 0.447 0.000 0.000 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

608 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.053 0.254 0.278 0.000 0.000 0.000 0.000 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

307 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.051 0.199 0.291 0.000 0.000 0.000 0.000 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.069 0.252 0.313 0.000 0.000 0.000 0.000 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.072 0.221 0.349 0.000 0.000 0.000 0.000 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.057 1.590 0.428 0.000 0.000 0.000 0.000 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

30 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.055 1.163 0.699 0.000 0.000 0.000 0.000 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.069 1.199 0.772 0.000 0.000 0.000 0.000 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.072 0.176 0.618 0.000 0.000 0.000 0.000 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 75 66 0 80 0 0 -1

N.S.

1 1.00 1.09 0.96 0.00 1.16 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.045 0.691 0.000 0.359 0.000 0.000 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 12 34 9 59 11 0 68 8

N.S.

1 1.50 4.25 1.12 7.38 1.38 0.00 8.50 1.00

time (sec)

N/A 0.007 0.004 0.439 0.372 0.365 0.000 4.213 0.314

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 86 69 15 0 0 10

N.S.

1 1.00 1.00 7.17 5.75 1.25 0.00 0.00 0.83

time (sec)

N/A 0.012 0.004 0.094 0.371 0.345 0.000 0.000 0.289

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 15 0 19 0 0 -1

N.S.

1 1.00 1.00 1.07 0.00 1.36 0.00 0.00 -0.07

time (sec)

N/A 0.012 0.005 1.834 0.000 0.415 0.000 0.000 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 36 34 67 0 0 204 37

N.S.

1 1.00 1.03 0.97 1.91 0.00 0.00 5.83 1.06

time (sec)

N/A 0.040 0.005 0.720 0.275 0.000 0.000 4.340 0.406

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B F F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 40 118 77 0 0 0 33

N.S.

1 1.00 1.03 3.03 1.97 0.00 0.00 0.00 0.85

time (sec)

N/A 0.033 0.005 0.033 0.278 0.000 0.000 0.000 0.440

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 44 44 0 67 0 0 -1

N.S.

1 1.00 0.94 0.94 0.00 1.43 0.00 0.00 -0.02

time (sec)

N/A 0.034 0.013 1.960 0.000 0.351 0.000 0.000 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 80 126 124 0 0 0 -1

N.S.

1 1.00 0.76 1.20 1.18 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.118 0.022 2.334 0.336 0.000 0.000 0.000 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

227 227 228 330 0 0 0 0 -1

N.S.

1 1.00 1.00 1.45 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.268 0.078 0.880 0.000 0.000 0.000 0.000 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.017 0.309 0.403 0.000 0.000 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 82 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.036 0.040 0.084 0.000 0.000 0.000 0.000 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 159 0 124 137 155 357 137

N.S.

1 1.00 0.96 0.00 0.75 0.83 0.93 2.15 0.83

time (sec)

N/A 0.090 0.095 0.066 0.275 0.456 9.719 2.708 0.514

[next] [prev] [prev-tail] [front] [up]